target remote:1234
source gdb_auto.py
